Marius d’Avenches, évêque et chroniqueur du vie s.